hybrid reasoning system
Inference Graphs: A New Kind of Hybrid Reasoning System
Schlegel, Daniel R. (University at Buffalo) | Shapiro, Stuart C. (University at Buffalo)
Hybrid reasoners combine multiple types of reasoning, usually subsumption and Prolog-style resolution. We outline a system which combines natural deduction and subsumption reasoning using Inference Graphs implementing a Logic of Arbitrary and Indefinite Objects.
Inference Graphs: A New Kind of Hybrid Reasoning System
Schlegel, Daniel R. (University at Buffalo) | Shapiro, Stuart C. (University at Buffalo)
Hybrid reasoners combine multiple types of reasoning, usually subsumption and Prolog-style resolution. We outline a system which combines natural deduction and subsumption reasoning using Inference Graphs implementing a Logic of Arbitrary and Indefinite Objects.